某软件系统无需在线容错，也不能采用冗余设计，如果对可靠性要求较高，故障有可能导致严重后果，一般采用( )。